J. Inglis is a member of the European project MatheMACS (European Union Seventh Framework Programme no. 318723).